home *** CD-ROM | disk | FTP | other *** search
/ Amiga Tools 2 / Amiga Tools 2.iso / tex / macros / source / contrib / supported / xypic / src / xyguide.man / images.pl < prev    next >
Text File  |  1995-03-15  |  18KB  |  596 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3.  
  4.  
  5. $key = q//;
  6. $cached_env_img{$key} = q|<IMG
  7.  STYLE="" SRC="|."$dir".q|img22.png"
  8.  ALT="$\displaystyle \tt { \string\lltou\string^a \\\\
  9. \string\lltod\string^a }
  10. &{\Bo...
  11. ...txt\tt { \string\rrtou\string^a \\\\
  12. \string\rrtod\string^a }
  13. \ &
  14. \enddiagram
  15. $">|; 
  16.  
  17. $key = q/diagram;MSF=1.6;AAT/;
  18. $cached_env_img{$key} = q|<IMG
  19.  STYLE="" SRC="|."$dir".q|img77.png"
  20.  ALT="$\diagram$">|; 
  21.  
  22. $key = q/displaystyleDashed;MSF=1.6;AAT/;
  23. $cached_env_img{$key} = q|<IMG
  24.  STYLE="" SRC="|."$dir".q|img69.png"
  25.  ALT="$\displaystyle \Dashed$">|; 
  26.  
  27. $key = q/displaystyleDdashed;MSF=1.6;AAT/;
  28. $cached_env_img{$key} = q|<IMG
  29.  STYLE="" SRC="|."$dir".q|img70.png"
  30.  ALT="$\displaystyle \Ddashed$">|; 
  31.  
  32. $key = q/displaystyleDdotted;MSF=1.6;AAT/;
  33. $cached_env_img{$key} = q|<IMG
  34.  STYLE="" SRC="|."$dir".q|img73.png"
  35.  ALT="$\displaystyle \Ddotted$">|; 
  36.  
  37. $key = q/displaystyleDotted;MSF=1.6;AAT/;
  38. $cached_env_img{$key} = q|<IMG
  39.  STYLE="" SRC="|."$dir".q|img72.png"
  40.  ALT="$\displaystyle \Dotted$">|; 
  41.  
  42. $key = q/displaystyleFramed;MSF=1.6;AAT/;
  43. $cached_env_img{$key} = q|<IMG
  44.  STYLE="" SRC="|."$dir".q|img94.png"
  45.  ALT="$\displaystyle \Framed$">|; 
  46.  
  47. $key = q/displaystyleNoCompileAllDiagrams;MSF=1.6;AAT/;
  48. $cached_env_img{$key} = q|<IMG
  49.  STYLE="" SRC="|."$dir".q|img86.png"
  50.  ALT="$\displaystyle \NoCompileAllDiagrams$">|; 
  51.  
  52. $key = q/displaystyleSolid;MSF=1.6;AAT/;
  53. $cached_env_img{$key} = q|<IMG
  54.  STYLE="" SRC="|."$dir".q|img66.png"
  55.  ALT="$\displaystyle \Solid$">|; 
  56.  
  57. $key = q/displaystyleSsolid;MSF=1.6;AAT/;
  58. $cached_env_img{$key} = q|<IMG
  59.  STYLE="" SRC="|."$dir".q|img67.png"
  60.  ALT="$\displaystyle \Ssolid$">|; 
  61.  
  62. $key = q/displaystyleText;MSF=1.6;AAT/;
  63. $cached_env_img{$key} = q|<IMG
  64.  STYLE="" SRC="|."$dir".q|img95.png"
  65.  ALT="$\displaystyle \Text$">|; 
  66.  
  67. $key = q/displaystyleXY;MSF=1.6;AAT/;
  68. $cached_env_img{$key} = q|<IMG
  69.  STYLE="" SRC="|."$dir".q|img102.png"
  70.  ALT="$\displaystyle \XY$">|; 
  71.  
  72. $key = q/displaystylecir;MSF=1.6;AAT/;
  73. $cached_env_img{$key} = q|<IMG
  74.  STYLE="" SRC="|."$dir".q|img59.png"
  75.  ALT="$\displaystyle \cir$">|; 
  76.  
  77. $key = q/displaystyledashed;MSF=1.6;AAT/;
  78. $cached_env_img{$key} = q|<IMG
  79.  STYLE="" SRC="|."$dir".q|img68.png"
  80.  ALT="$\displaystyle \dashed$">|; 
  81.  
  82. $key = q/displaystylediagram;MSF=1.6;AAT/;
  83. $cached_env_img{$key} = q|<IMG
  84.  STYLE="" SRC="|."$dir".q|img9.png"
  85.  ALT="$\displaystyle \diagram$">|; 
  86.  
  87. $key = q/displaystyledir;MSF=1.6;AAT/;
  88. $cached_env_img{$key} = q|<IMG
  89.  STYLE="" SRC="|."$dir".q|img53.png"
  90.  ALT="$\displaystyle \dir$">|; 
  91.  
  92. $key = q/displaystyledocode;MSF=1.6;AAT/;
  93. $cached_env_img{$key} = q|<IMG
  94.  STYLE="" SRC="|."$dir".q|img2.png"
  95.  ALT="$\displaystyle \docode$">|; 
  96.  
  97. $key = q/displaystyledotted;MSF=1.6;AAT/;
  98. $cached_env_img{$key} = q|<IMG
  99.  STYLE="" SRC="|."$dir".q|img71.png"
  100.  ALT="$\displaystyle \dotted$">|; 
  101.  
  102. $key = q/displaystyledottedwith;MSF=1.6;AAT/;
  103. $cached_env_img{$key} = q|<IMG
  104.  STYLE="" SRC="|."$dir".q|img76.png"
  105.  ALT="$\displaystyle \dottedwith$">|; 
  106.  
  107. $key = q/displaystyleframed;MSF=1.6;AAT/;
  108. $cached_env_img{$key} = q|<IMG
  109.  STYLE="" SRC="|."$dir".q|img93.png"
  110.  ALT="$\displaystyle \framed$">|; 
  111.  
  112. $key = q/displaystylefrm;MSF=1.6;AAT/;
  113. $cached_env_img{$key} = q|<IMG
  114.  STYLE="" SRC="|."$dir".q|img52.png"
  115.  ALT="$\displaystyle \frm$">|; 
  116.  
  117. $key = q/displaystylego;MSF=1.6;AAT/;
  118. $cached_env_img{$key} = q|<IMG
  119.  STYLE="" SRC="|."$dir".q|img63.png"
  120.  ALT="$\displaystyle \go$">|; 
  121.  
  122. $key = q/displaystyleitem;MSF=1.6;AAT/;
  123. $cached_env_img{$key} = q|<IMG
  124.  STYLE="" SRC="|."$dir".q|img54.png"
  125.  ALT="$\displaystyle \item$">|; 
  126.  
  127. $key = q/displaystylemorphism;MSF=1.6;AAT/;
  128. $cached_env_img{$key} = q|<IMG
  129.  STYLE="" SRC="|."$dir".q|img64.png"
  130.  ALT="$\displaystyle \morphism$">|; 
  131.  
  132. $key = q/displaystylenotip;MSF=1.6;AAT/;
  133. $cached_env_img{$key} = q|<IMG
  134.  STYLE="" SRC="|."$dir".q|img65.png"
  135.  ALT="$\displaystyle \notip$">|; 
  136.  
  137. $key = q/displaystylenull;MSF=1.6;AAT/;
  138. $cached_env_img{$key} = q|<IMG
  139.  STYLE="" SRC="|."$dir".q|img74.png"
  140.  ALT="$\displaystyle \null$">|; 
  141.  
  142. $key = q/displaystyleobjectwidth;MSF=1.6;AAT/;
  143. $cached_env_img{$key} = q|<IMG
  144.  STYLE="" SRC="|."$dir".q|img8.png"
  145.  ALT="$\displaystyle \objectwidth$">|; 
  146.  
  147. $key = q/displaystylesolid;MSF=1.6;AAT/;
  148. $cached_env_img{$key} = q|<IMG
  149.  STYLE="" SRC="|."$dir".q|img62.png"
  150.  ALT="$\displaystyle \solid$">|; 
  151.  
  152. $key = q/displaystylespreaddiagramcolumns;MSF=1.6;AAT/;
  153. $cached_env_img{$key} = q|<IMG
  154.  STYLE="" SRC="|."$dir".q|img7.png"
  155.  ALT="$\displaystyle \spreaddiagramcolumns$">|; 
  156.  
  157. $key = q/displaystylespreaddiagramrows;MSF=1.6;AAT/;
  158. $cached_env_img{$key} = q|<IMG
  159.  STYLE="" SRC="|."$dir".q|img23.png"
  160.  ALT="$\displaystyle \spreaddiagramrows$">|; 
  161.  
  162. $key = q/displaystyletodl^{a}_{};MSF=1.6;AAT/;
  163. $cached_env_img{$key} = q|<IMG
  164.  STYLE="" SRC="|."$dir".q|img26.png"
  165.  ALT="$\displaystyle \todl^{a}_{}$">|; 
  166.  
  167. $key = q/displaystyletodr^{a}_{};MSF=1.6;AAT/;
  168. $cached_env_img{$key} = q|<IMG
  169.  STYLE="" SRC="|."$dir".q|img27.png"
  170.  ALT="$\displaystyle \todr^{a}_{}$">|; 
  171.  
  172. $key = q/displaystyletold^{a}_{};MSF=1.6;AAT/;
  173. $cached_env_img{$key} = q|<IMG
  174.  STYLE="" SRC="|."$dir".q|img30.png"
  175.  ALT="$\displaystyle \told^{a}_{}$">|; 
  176.  
  177. $key = q/displaystyletolu^{a}_{};MSF=1.6;AAT/;
  178. $cached_env_img{$key} = q|<IMG
  179.  STYLE="" SRC="|."$dir".q|img28.png"
  180.  ALT="$\displaystyle \tolu^{a}_{}$">|; 
  181.  
  182. $key = q/displaystyletord^{a}_{};MSF=1.6;AAT/;
  183. $cached_env_img{$key} = q|<IMG
  184.  STYLE="" SRC="|."$dir".q|img31.png"
  185.  ALT="$\displaystyle \tord^{a}_{}$">|; 
  186.  
  187. $key = q/displaystyletoru^{a}_{};MSF=1.6;AAT/;
  188. $cached_env_img{$key} = q|<IMG
  189.  STYLE="" SRC="|."$dir".q|img29.png"
  190.  ALT="$\displaystyle \toru^{a}_{}$">|; 
  191.  
  192. $key = q/displaystyletoul^{a}_{};MSF=1.6;AAT/;
  193. $cached_env_img{$key} = q|<IMG
  194.  STYLE="" SRC="|."$dir".q|img24.png"
  195.  ALT="$\displaystyle \toul^{a}_{}$">|; 
  196.  
  197. $key = q/displaystyletour^{a}_{};MSF=1.6;AAT/;
  198. $cached_env_img{$key} = q|<IMG
  199.  STYLE="" SRC="|."$dir".q|img25.png"
  200.  ALT="$\displaystyle \tour^{a}_{}$">|; 
  201.  
  202. $key = q/displaystyletxt;MSF=1.6;AAT/;
  203. $cached_env_img{$key} = q|<IMG
  204.  STYLE="" SRC="|."$dir".q|img21.png"
  205.  ALT="$\displaystyle \txt$">|; 
  206.  
  207. $key = q/displaystylexdashed;MSF=1.6;AAT/;
  208. $cached_env_img{$key} = q|<IMG
  209.  STYLE="" SRC="|."$dir".q|img12.png"
  210.  ALT="$\displaystyle \xdashed$">|; 
  211.  
  212. $key = q/displaystylexdotted;MSF=1.6;AAT/;
  213. $cached_env_img{$key} = q|<IMG
  214.  STYLE="" SRC="|."$dir".q|img13.png"
  215.  ALT="$\displaystyle \xdotted$">|; 
  216.  
  217. $key = q/displaystylexdouble;MSF=1.6;AAT/;
  218. $cached_env_img{$key} = q|<IMG
  219.  STYLE="" SRC="|."$dir".q|img14.png"
  220.  ALT="$\displaystyle \xdouble$">|; 
  221.  
  222. $key = q/displaystylexline;MSF=1.6;AAT/;
  223. $cached_env_img{$key} = q|<IMG
  224.  STYLE="" SRC="|."$dir".q|img11.png"
  225.  ALT="$\displaystyle \xline$">|; 
  226.  
  227. $key = q/displaystylexto;MSF=1.6;AAT/;
  228. $cached_env_img{$key} = q|<IMG
  229.  STYLE="" SRC="|."$dir".q|img10.png"
  230.  ALT="$\displaystyle \xto$">|; 
  231.  
  232. $key = q/displaystylexy;MSF=1.6;AAT/;
  233. $cached_env_img{$key} = q|<IMG
  234.  STYLE="" SRC="|."$dir".q|img51.png"
  235.  ALT="$\displaystyle \xy$">|; 
  236.  
  237. $key = q/dottedwith;MSF=1.6;AAT/;
  238. $cached_env_img{$key} = q|<IMG
  239.  STYLE="" SRC="|."$dir".q|img75.png"
  240.  ALT="$\dottedwith$">|; 
  241.  
  242. $key = q/drto;MSF=1.6;AAT/;
  243. $cached_env_img{$key} = q|<IMG
  244.  STYLE="" SRC="|."$dir".q|img43.png"
  245.  ALT="$\drto$">|; 
  246.  
  247. $key = q/ell;MSF=1.6;AAT/;
  248. $cached_env_img{$key} = q|<IMG
  249.  STYLE="" SRC="|."$dir".q|img42.png"
  250.  ALT="$\ell$">|; 
  251.  
  252. $key = q/lt;MSF=1.6;AAT/;
  253. $cached_env_img{$key} = q|<IMG
  254.  STYLE="" SRC="|."$dir".q|img45.png"
  255.  ALT="$\lt$">|; 
  256.  
  257. $key = q/morphism;MSF=1.6;AAT/;
  258. $cached_env_img{$key} = q|<IMG
  259.  STYLE="" SRC="|."$dir".q|img78.png"
  260.  ALT="$\morphism$">|; 
  261.  
  262. $key = q/notip;MSF=1.6;AAT/;
  263. $cached_env_img{$key} = q|<IMG
  264.  STYLE="" SRC="|."$dir".q|img82.png"
  265.  ALT="$\notip$">|; 
  266.  
  267. $key = q/solid;MSF=1.6;AAT/;
  268. $cached_env_img{$key} = q|<IMG
  269.  STYLE="" SRC="|."$dir".q|img79.png"
  270.  ALT="$\solid$">|; 
  271.  
  272. $key = q/squash;MSF=1.6;AAT/;
  273. $cached_env_img{$key} = q|<IMG
  274.  STYLE="" SRC="|."$dir".q|img46.png"
  275.  ALT="$\squash$">|; 
  276.  
  277. $key = q/stop;MSF=1.6;AAT/;
  278. $cached_env_img{$key} = q|<IMG
  279.  STYLE="" SRC="|."$dir".q|img81.png"
  280.  ALT="$\stop$">|; 
  281.  
  282. $key = q/tip;MSF=1.6;AAT/;
  283. $cached_env_img{$key} = q|<IMG
  284.  STYLE="" SRC="|."$dir".q|img80.png"
  285.  ALT="$\tip$">|; 
  286.  
  287. $key = q/{code}definemorphism{mapsto}solidtipstopdiagramArmapsto^f&AtimesAdlmapsto_gBumapstodiagram{code};MSF=1.6;AAT/;
  288. $cached_env_img{$key} = q|<IMG
  289.   STYLE="" SRC="|."$dir".q|img83.png"
  290.  ALT="\begin{code}
  291. \definemorphism{mapsto}\solid\tip\stop
  292. \diagram
  293. A \rmapsto^f & A\times A \dlmapsto_g \\\\
  294. B \umapsto
  295. \enddiagram
  296. \end{code}">|; 
  297.  
  298. $key = q/{code}diagram0,{-1}&0,0savego[1,2]mergeframed<5pt>xto[0,-1]xto[1,-1]xto[0,3]xto[1,3]restore&0,1&0,2&0,31,{-1}&1,0&1,1&1,2&1,3diagram{code};MSF=1.6;AAT/;
  299. $cached_env_img{$key} = q|<IMG
  300.   STYLE="" SRC="|."$dir".q|img100.png"
  301.  ALT="\begin{code}
  302. \diagram
  303. 0,{-1} & 0,0
  304. \save\go[1,2]\merge\framed<5pt>
  305. \xto[0,-1]...
  306. ...re
  307. & 0,1 & 0,2 & 0,3 \\\\
  308. 1,{-1} & 1,0 & 1,1 & 1,2 & 1,3 \enddiagram
  309. \end{code}">|; 
  310.  
  311. $key = q/{code}diagramA&sum_{i=n}^m{i^2}framed&bullet&Dultodiagram{code};MSF=1.6;AAT/;
  312. $cached_env_img{$key} = q|<IMG
  313.   STYLE="" SRC="|."$dir".q|img5.png"
  314.  ALT="\begin{code}
  315. \diagram
  316. A &\sum_{i=n}^m {i^2} \framed \\\\
  317. & \bullet & D \ulto
  318. \enddiagram
  319. \end{code}">|; 
  320.  
  321. $key = q/{code}diagramAB&Culto<1ex>ulto;[]<1ex>diagram{code};MSF=1.6;AAT/;
  322. $cached_env_img{$key} = q|<IMG
  323.   STYLE="" SRC="|."$dir".q|img50.png"
  324.  ALT="\begin{code}
  325. \diagram
  326. A \\\\
  327. B & C \ulto <1ex>
  328. \ulto;[] <1ex>
  329. \enddiagram
  330. \end{code}">|; 
  331.  
  332. $key = q/{code}diagramAdrline&savego+<3cm,0cm>Drop{Text<8pc>{Thisisstilljustabigcommentary.}}ltodtogo="comment"restore&Brline&Cxto"comment"&Ddiagram{code};MSF=1.6;AAT/;
  333. $cached_env_img{$key} = q|<IMG
  334.   STYLE="" SRC="|."$dir".q|img98.png"
  335.  ALT="\begin{code}
  336. \diagram
  337. A \drline
  338. & \save \go+<3cm,0cm>\Drop{\Text<8pc>{
  339. This i...
  340. ...omment'' \restore \\\\
  341. & B \rline & C \xto''comment'' & D
  342. \enddiagram
  343. \end{code}">|; 
  344.  
  345. $key = q/{code}diagramAdrto<1ex>^a_{.}&Bulto<1ex>^brto<1ex>^c&Clto<1ex>^d_{.}diagram{code};MSF=1.6;AAT/;
  346. $cached_env_img{$key} = q|<IMG
  347.   STYLE="" SRC="|."$dir".q|img49.png"
  348.  ALT="\begin{code}
  349. \diagram
  350. A \drto<1ex>^a_{.} \\\\
  351. & B \ulto<1ex>^b \rto<1ex>^c
  352. & C \lto<1ex>^d_{.}
  353. \enddiagram
  354. \end{code}">|; 
  355.  
  356. $key = q/{code}diagramArto^(.3){+}&Bdiagram{code};MSF=1.6;AAT/;
  357. $cached_env_img{$key} = q|<IMG
  358.   STYLE="" SRC="|."$dir".q|img38.png"
  359.  ALT="\begin{code}
  360. \diagram A \rto^(.3){+} &B \enddiagram
  361. \end{code}">|; 
  362.  
  363. $key = q/{code}diagramArto^<(0){+}&Bdiagram{code};MSF=1.6;AAT/;
  364. $cached_env_img{$key} = q|<IMG
  365.   STYLE="" SRC="|."$dir".q|img39.png"
  366.  ALT="\begin{code}
  367. \diagram A \rto^<(0){+} &B \enddiagram
  368. \end{code}">|; 
  369.  
  370. $key = q/{code}diagramArto^<{+}&Bdiagram{code};MSF=1.6;AAT/;
  371. $cached_env_img{$key} = q|<IMG
  372.   STYLE="" SRC="|."$dir".q|img34.png"
  373.  ALT="\begin{code}
  374. \diagram A \rto^<{+} &B \enddiagram
  375. \end{code}">|; 
  376.  
  377. $key = q/{code}diagramArto^>>>{+}&Bdiagram{code};MSF=1.6;AAT/;
  378. $cached_env_img{$key} = q|<IMG
  379.   STYLE="" SRC="|."$dir".q|img37.png"
  380.  ALT="\begin{code}
  381. \diagram A \rto^»>{+} &B \enddiagram
  382. \end{code}">|; 
  383.  
  384. $key = q/{code}diagramArto^>>{+}&Bdiagram{code};MSF=1.6;AAT/;
  385. $cached_env_img{$key} = q|<IMG
  386.   STYLE="" SRC="|."$dir".q|img36.png"
  387.  ALT="\begin{code}
  388. \diagram A \rto^»{+} &B \enddiagram
  389. \end{code}">|; 
  390.  
  391. $key = q/{code}diagramArto^>{+}&Bdiagram{code};MSF=1.6;AAT/;
  392. $cached_env_img{$key} = q|<IMG
  393.   STYLE="" SRC="|."$dir".q|img35.png"
  394.  ALT="\begin{code}
  395. \diagram A \rto^>{+} &B \enddiagram
  396. \end{code}">|; 
  397.  
  398. $key = q/{code}diagramArto|f&Bdiagram{code};MSF=1.6;AAT/;
  399. $cached_env_img{$key} = q|<IMG
  400.   STYLE="" SRC="|."$dir".q|img18.png"
  401.  ALT="\begin{code}
  402. \diagram A \rto\vert f & B \enddiagram
  403. \end{code}">|; 
  404.  
  405. $key = q/{code}diagramArto|hole&Bdiagram{code};MSF=1.6;AAT/;
  406. $cached_env_img{$key} = q|<IMG
  407.   STYLE="" SRC="|."$dir".q|img19.png"
  408.  ALT="\begin{code}
  409. \diagram A \rto\vert\hole & B \enddiagram
  410. \end{code}">|; 
  411.  
  412. $key = q/{code}diagramAtimesBtimesCtimesDrto^-{+}&Bdiagram{code};MSF=1.6;AAT/;
  413. $cached_env_img{$key} = q|<IMG
  414.   STYLE="" SRC="|."$dir".q|img40.png"
  415.  ALT="\begin{code}
  416. \diagram
  417. A\times B\times C\times D \rto^-{+} &B
  418. \enddiagram
  419. \end{code}">|; 
  420.  
  421. $key = q/{code}diagramText{Averylongandstupidprogram}rrto^-{Text{weirdarrow}}&&Text<2pc>{Com-pli-catedCode}diagram{code};MSF=1.6;AAT/;
  422. $cached_env_img{$key} = q|<IMG
  423.   STYLE="" SRC="|."$dir".q|img85.png"
  424.  ALT="\begin{code}
  425. \diagram
  426. \Text{A very long and stupid\ program}
  427. \rrto^-{\Text{weird\ arrow}}
  428. && \Text<2pc>{Com\-pli\-cated\ Code}
  429. \enddiagram
  430. \end{code}">|; 
  431.  
  432. $key = q/{code}diagramUddrto_ydrtodrrto^x&Xtimes_ZYdto^qrto_p&Xdto_f&Yrto^g&Zdiagram{code};MSF=1.6;AAT/;
  433. $cached_env_img{$key} = q|<IMG
  434.   STYLE="" SRC="|."$dir".q|img1.png"
  435.  ALT="\begin{code}
  436. \diagram
  437. U \ddrto_y \drto \drrto^x \\\\
  438. & X \times_Z Y \dto^q \rto_p & X \dto_f \\\\
  439. & Y \rto^g & Z
  440. \enddiagram
  441. \end{code}">|; 
  442.  
  443. $key = q/{code}diagramXrto^a_b&Y&Zlto^A_Bdiagram{code};MSF=1.6;AAT/;
  444. $cached_env_img{$key} = q|<IMG
  445.   STYLE="" SRC="|."$dir".q|img16.png"
  446.  ALT="\begin{code}
  447. \diagram
  448. X \rto^a_b & Y & Z \lto^A_B
  449. \enddiagram
  450. \end{code}">|; 
  451.  
  452. $key = q/{code}diagramcircxdashed'[dr]^a|<stop'[rr]+D^b[drrr]^c|>tip&circ&circ&circcirc&circ&circ&circdiagram{code};MSF=1.6;AAT/;
  453. $cached_env_img{$key} = q|<IMG
  454.   STYLE="" SRC="|."$dir".q|img57.png"
  455.  ALT="\begin{code}
  456. \diagram
  457. \circ
  458. \xdashed '[dr] ^a \vert<\stop
  459. '[rr]+D ^b
  460. [drrr] ...
  461. ... \circ & \circ & \circ \\\\
  462. \circ & \circ & \circ & \circ
  463. \enddiagram
  464. \end{code}">|; 
  465.  
  466. $key = q/{code}diagramcircxto`r[d]^a`[rr]^b`slash4pt[rr]^c`[rrr]^d`[drrr]^e[drrr]^f&circ&circ&circcirc&circ&circ&circdiagram{code};MSF=1.6;AAT/;
  467. $cached_env_img{$key} = q|<IMG
  468.   STYLE="" SRC="|."$dir".q|img60.png"
  469.  ALT="\begin{code}
  470. \diagram
  471. \circ \xto \lq r[d] ^a
  472. \lq [rr] ^b
  473. \lq /4pt[rr] ^c
  474. \lq [rrr]^d
  475. \lq [...
  476. ... \circ & \circ & \circ \\\\
  477. \circ & \circ & \circ & \circ
  478. \enddiagram
  479. \end{code}">|; 
  480.  
  481. $key = q/{code}diagramleft[sum^iright]&jlto+URdiagram{code};MSF=1.6;AAT/;
  482. $cached_env_img{$key} = q|<IMG
  483.   STYLE="" SRC="|."$dir".q|img55.png"
  484.  ALT="\begin{code}
  485. \diagram
  486. \left[\sum^i\right] & j \lto+UR
  487. \enddiagram
  488. \end{code}">|; 
  489.  
  490. $key = q/{code}diagramtext{Program}rto&text{Code}diagram{code};MSF=1.6;AAT/;
  491. $cached_env_img{$key} = q|<IMG
  492.   STYLE="" SRC="|."$dir".q|img84.png"
  493.  ALT="\begin{code}
  494. \diagram
  495. \text{Program} \rto & \text{Code}
  496. \enddiagram
  497. \end{code}">|; 
  498.  
  499. $key = q/{code}{left(spreaddiagramrows{-1.2pc}spreaddiagramcolumns{-1.2pc}diagramArto^{a}&Bdto^{b}A'uto^{a'}&B'lto_{b'}diagramright){{code};MSF=1.6;AAT/;
  500. $cached_env_img{$key} = q|<IMG
  501.   STYLE="" SRC="|."$dir".q|img92.png"
  502.  ALT="\begin{code}
  503. $\left(
  504. \spreaddiagramrows{-1.2pc}
  505. \spreaddiagramcolumns{-1.2pc}
  506. ...
  507. ...{a} & B \dto^{b} \\\\
  508. A'\uto^{a'} & B'\lto_{b'}
  509. \enddiagram
  510. \right)$
  511. \end{code}">|; 
  512.  
  513. $key = q/{defs1}??c![diagram]~dots~??c![diagram]{defs1};MSF=1.6;AAT/;
  514. $cached_env_img{$key} = q|<IMG
  515.   STYLE="" SRC="|."$dir".q|img4.png"
  516.  ALT="\begin{defs1}
  517. ??c![\diagram] \dots ??c![\enddiagram]
  518. \end{defs1}">|; 
  519.  
  520. $key = q/{defs1}??c![inputxypic]{defs1};MSF=1.6;AAT/;
  521. $cached_env_img{$key} = q|<IMG
  522.   STYLE="" SRC="|."$dir".q|img3.png"
  523.  ALT="\begin{defs1}
  524. ??c![\input xypic]
  525. \end{defs1}">|; 
  526.  
  527. $key = q/{defs1}|diagramcompileto{|"name"|}|{defs1};MSF=1.6;AAT/;
  528. $cached_env_img{$key} = q|<IMG
  529.   STYLE="" SRC="|."$dir".q|img33.png"
  530.  ALT="\begin{defs1}
  531. \vert\diagramcompileto{\vert''name''\vert}\vert
  532. \end{defs1}">|; 
  533.  
  534. $key = q/{defs1}|morphism|<linetype><tip><tip><path>{defs1};AAT/;
  535. $cached_env_img{$key} = q|<IMG
  536.   STYLE="" SRC="|."$dir".q|img61.png"
  537.  ALT="\begin{defs1}
  538. \vert\morphism\vert <line type> <tip> <tip> <path>
  539. \end{defs1}">|; 
  540.  
  541. $key = q/{defs1}|objectmargin||{|<dimen>|}|{defs1};AAT/;
  542. $cached_env_img{$key} = q|<IMG
  543.   STYLE="" SRC="|."$dir".q|img89.png"
  544.  ALT="\begin{defs1}
  545. \vert\objectmargin\vert \vert{\vert<dimen>\vert}\vert
  546. \end{defs1}">|; 
  547.  
  548. $key = q/{defs1}|objectwidth||{|<dimen>|}|cr|objectheight||{|<dimen>|}|cr{defs1};AAT/;
  549. $cached_env_img{$key} = q|<IMG
  550.   STYLE="" SRC="|."$dir".q|img91.png"
  551.  ALT="\begin{defs1}
  552. \vert\objectwidth\vert \vert{\vert<dimen>\vert}\vert \cr
  553. \vert\objectheight\vert \vert{\vert<dimen>\vert}\vert \cr
  554. \end{defs1}">|; 
  555.  
  556. $key = q/{defs1}|save|dots|go="|"name"|"||restore|{defs1};AAT/;
  557. $cached_env_img{$key} = q|<IMG
  558.   STYLE="" SRC="|."$dir".q|img97.png"
  559.  ALT="\begin{defs1}
  560. \vert\save\vert \dots \vert\go=''\vert''name''\vert''\vert \vert\restore\vert
  561. \end{defs1}">|; 
  562.  
  563. $key = q/{defs1}|save|{t{|Drop||{|"stuff"|}|dots|restore|dots{defs1};MSF=1.6;AAT/;
  564. $cached_env_img{$key} = q|<IMG
  565.   STYLE="" SRC="|."$dir".q|img87.png"
  566.  ALT="\begin{defs1}
  567. \vert\save\vert $t$ \vert\Drop\vert \vert{\vert''stuff''\vert}\vert \dots \vert\restore\vert \dots
  568. \end{defs1}">|; 
  569.  
  570. $key = q/{defs1}|save|{t{|merge|dots|restore|dots{defs1};MSF=1.6;AAT/;
  571. $cached_env_img{$key} = q|<IMG
  572.   STYLE="" SRC="|."$dir".q|img99.png"
  573.  ALT="\begin{defs1}
  574. \vert\save\vert $t$ \vert\merge\vert \dots \vert\restore\vert \dots
  575. \end{defs1}">|; 
  576.  
  577. $key = q/{defs1}|spreaddiagramrows||{|<dimen>|}|cr|spreaddiagramcolumns||{|<dimen>|}|cr{defs1};MSF=1.6;AAT/;
  578. $cached_env_img{$key} = q|<IMG
  579.   STYLE="" SRC="|."$dir".q|img90.png"
  580.  ALT="\begin{defs1}
  581. \vert\spreaddiagramrows\vert \vert{\vert<dimen>\vert}\vert\cr
  582. \vert\spreaddiagramcolumns\vert \vert{\vert<dimen>\vert}\vert\cr
  583. \end{defs1}">|; 
  584.  
  585. $key = q/{exercise}Whatisthedifferencebetweenatarget{t{andthetarget{t{|+0|?answertext{Thesize:{t{|+0|alwayshaszerosize.}{exercise};MSF=1.6;AAT/;
  586. $cached_env_img{$key} = q|<IMG
  587.   STYLE="" SRC="|."$dir".q|img56.png"
  588.  ALT="\begin{exercise}
  589. What is the difference between a target $t$ and the target $t$...
  590. ...ert?
  591. \answertext{The size: $t$\vert+0\vert always has zero size.}
  592. \end{exercise}">|; 
  593.  
  594. 1;
  595.  
  596.